partial verification

частная верификация
Доказательство правильности программ, учитывающее основные, но не все возможные факторы.
[Домарев В.В. Безопасность информационных технологий. Системный подход.]

Тематики

• защита информации

EN

• partial verification

частная верификация
Доказательство правильности программ, учитывающее основные, но не все возможные факторы.
[Домарев В.В. Безопасность информационных технологий. Системный подход.]

Тематики

• защита информации

EN

• partial verification

намечать меры — to single out measures

осуществлять меры — to carry out / to implement measures

предложить меры — to initiate measures

предложить государствам-членам принять меры — to invite member-states to take measures

предпринимать / принимать меры — to take measures / steps / actions, to make arrangements

прибегать к каким-л. мерам — resort to some measures

антиинфляционные меры, меры по борьбе с инфляцией — antiinflationary / antiinflation measures

бюджетные / финансовые меры — fiscal measures

временные меры — interim / temporary measures

всеобъемлющие меры — comprehensive measures

высшая мера наказания — supreme / death penalty, capital punishment; last sanctions of the law

гуманная мера — humane measure

дальнейшие меры — further measures

действенная мера — effective measure

дискриминационная мера — discriminatory measure

дисциплинарные меры — disciplinary actions / measures

дополнительные меры — additional measures

жёсткие меры — strict / strong measures

законная мера — legal measure

защитная мера — safeguard measure

карательные меры — punitive measures, vindictive actions

коллективные меры — collective actions

конкретные меры — specific measures

корректировочные меры, меры по урегулированию — adjustment measures

крайние меры — extreme measures

краткосрочные меры — short-term measures

крутые меры — drastic measures

надлежащие / соответствующие меры — adequate / appropriate / due / proper measures / steps / actions

насильственные меры — coercive measures

незаконные меры — illegal measures

немедленные меры — prompt actions / measures / steps

необходимые (в данном случае) меры — requisite measures

неотложные / первоочередные меры — high priority measures

непродуманная мера — half-baked measure

ничем не оправданная мера — uncalled for measure

обязательная мера — mandatory measure

ограниченные меры — limited / restrictive measures / arrangements

ответная мера — retaliatory measure

побочные меры — ancillary measures

перспективные меры — forward-looking measures

подготовительные меры — preparatory measures

половинчатые меры — half-way measures

поспешные меры — rash measures

правительственные меры — government measures

правовые и административные меры по сохранению качества окружающей среды — legal and administrative measures for protecting environmental quality

практические меры — practical measures

предварительные меры — preliminary / provisional measures / steps

предлагаемые меры — proposed measures

смягчить предлагаемые меры — to water down proposed measures

предупредительные меры — preventive measures

предусмотренная законом мера наказания — sanction(s)

примирительные меры — conciliatory measures

протекционистские меры — protective measures

противозаконные меры — illegal measures

доохранные меры — environmental protection measures

радикальные меры — drastic / radical measures

разумные меры — measures of rationality

реальные меры — real measures

репрессивные меры — repressive measures

решительные меры — drastic / decisive / firm / resolute / tough / strong measures

прибегать к решительным мерам — to resort to strong measures

своевременные меры — timely measures / steps

совместные меры — cooperative / joint measures

согласованные меры — agreed / agreed-upon measures

сопутствующие меры — colleteral measures

срочные меры — high-priority / urgent measures

строгие меры — rigorous / severe measures

целесообразные меры — meaningful measures

чрезвычайные меры — extraordinary / emergency measures

экстренные меры — emergency measures

энергичные меры — active / vigorous measures

эффективные меры — effective / effectual measures

введение мер — introduction of measures

(весь) комплекс мер — (the whole) complex of measures

меры безопасности / по обеспечению безопасности — safetyjmeasures

меры доверия — confidence measures

меры по укреплению доверия — confidence-building measures

переговоры по мерам по укреплению доверия — negotiations / talks on confidence-building measures

меры, исключающие обход / нарушение условий договора / соглашения — measures to safeguard against circumvention

меры, касающиеся процедурных вопросов — procedural measures

меры общественного воздействия — measures of public influence

меры по борьбе с монополиями — anti-monopoly measures

меры по восстановлению в правах — measures of rehabilitation

меры по исправлению положения — remedial measures

меры по контролю — control / verification measures

меры по контролю над вооружением — arms control measures

обеспечивать соответствующие меры по контролю — to provide adequate measures of verification

мера по нормированию / распределению — rationing arrangements

меры по ограничению — restrictive arrangements

меры по оказанию помощи — relief actions

меры по ограничению и сокращению обычных / неядерных вооружений — nonnuclear disarmament measures

меры по оказанию помощи гражданскому населению — relief actions for the benefit of the civilian population

мера по проведению национализации — nationalization measures

меры по разоружению — disarmament measures, measures of disarmament

частичные меры по разоружению — partial disarmament measures, partial measures of disarmament

"пакет" мер по разоружению — package of disarmament measures

меры по стабилизации экономики — stabilization efforts

мера по укреплению стабильности — stabilizing measures, measures to enhance stability

мера предосторожности — safeguard / precautionary measures

меры предупреждения случайностей — accident measures

меры принуждения — measures of enforcement / compulsion

меры, причиняющие вред — harmful measures

противодействия — countermeasure

меры, связанные с чем-л. — associated measures

объём и характер мер — scope and character of measures

принятие мер — adoption of measures

требовать принятия мер — to necessitate measures

мера потребления — measure of consumption

мера стоимости — measure of value

to abandon a treaty — отказываться от договора, денонсировать договор

to abolish / to abrogate a treaty — аннулировать / отменять договор

to accede to a treaty — соблюдать договор

to achieve a draft treaty — добиваться завершения подготовки проекта договора

to adhere to (terms of) a treaty — придерживаться условий / соблюдать условия договора

to adopt a draft treaty — принимать проект договора

to agree a treaty — согласовывать договор

to annex to a treaty — прилагать к договору

to annul a treaty — аннулировать / отменять договор

to append to a treaty — прилагать к договору

to approve a treaty — одобрять договор

to back out of a treaty — отказываться от соблюдения договора

to be bound by a treaty — быть связанным договором

to be confirmed by a treaty — быть закрепленным в договоре

to be in break of treaty — нарушать договор

to become a party to / to join a treaty — присоединяться к договору

to breach / to break treaty — нарушать договор

to break off a treaty — денонсировать / расторгать договор

to bring a treaty into force — вводить договор в силу

to cancel a treaty — аннулировать / отменять договор

to cheat on a treaty — нарушать договор

to compel an international treaty — заставлять выполнять международный договор

to conclude a treaty — заключать договор

to confirm a treaty — ратифицировать договор

to conflict with / to contravene a treaty — противоречить договору

to deal a death blow to the treaty — наносить смертельный удар по договору

to denounce a treaty — денонсировать / расторгать договор

to draft / to draw up a treaty — разрабатывать проект договора

to encourage the conclusion of new treaties — поощрять заключения новых договоров

to end a treaty — денонсировать / расторгать договор

to endorse a treaty — одобрять договор

to enter into a treaty — заключать договор

to extend (the validity of) a treaty — продлевать срок действия договора, пролонгировать договор

to finalize a treaty — согласовывать окончательный текст договора

to get an unsatisfactory treaty — получать неудовлетворительный договор

to give the President the Senate's counsel and consent to ratify the treaty — давать президенту совет и согласие Сената на ратификацию договора

to hold to the spirit and the letter of the treaty — придерживаться духа и буквы договора

to honor a treaty — соблюдать договор

to implement a treaty — выполнять договор / условия договора

to infringe a treaty — нарушать договор

to initial a treaty — парафировать договор

to initiate a treaty — предлагать заключить договор

to keep a treaty — соблюдать договор

to make a treaty — заключать договор

to monitor accurately compliance with a treaty — тщательно следить за выполнением договора

to negotiate (for) a treaty — вести переговоры о заключении договора

to observe a treaty — соблюдать договор

to observe the terms / provisions of a treaty — выполнять положения договора

to open the treaty for signing — открывать договор для подписания

to pay lip service to a treaty — поддерживать договор на словах

to press for an international treaty — добиваться заключения международного договора

to produce a treaty — вырабатывать договор

to prolong (the validity of) a treaty — продлевать срок действия договора, пролонгировать договор

to publish a treaty — публиковать договор

to put forward a draft treaty — выдвигать проект договора

to ratify a treaty — ратифицировать договор

to reaffirm a treaty — вновь подтверждать договор

to refuse to ratify a treaty — отказываться ратифицировать договор

to register a treaty — регистрировать договор

to reinterpret a treaty — давать новую интерпретацию договору

to remain within the confines of the treaty — оставаться в рамках договора

to renegotiate a treaty — проводить новые переговоры о договоре

to renew a treaty — возобновлять договор

to renounce a treaty — денонсировать / расторгать договор

to repudiate a treaty — отказываться от договора

to revise a treaty — пересматривать договор

to revoke a treaty — аннулировать / отменять договор

to rush headlong to a treaty — необдуманно / безрассудно заключать договор

to salute the signing of the treaty — приветствовать подписание договора

to secure a treaty — добиваться заключения договора

to seek a new treaty — добиваться нового договора

to sign a peace treaty — подписывать мирный договор / мир

to stay within the limits of a treaty — оставаться в рамках договора

to strengthen a treaty — укреплять договор

to submit a treaty to the Senate for ratification — представлять договор сенату на ратификацию

to terminate a treaty — прекращать действие договора

to undermine a treaty — торпедировать договор

to verify the treaty — проверять выполнение договора

to violate a treaty — нарушать договор

to welcome a draft treaty with reservation — приветствовать проект договора с оговорками

to withdraw from a treaty — денонсировать договор, выходить из договора

to work out a treaty — вырабатывать договор

to work towards a treaty — добиваться заключения договора